-
1 конструктивная логика
Русско-английский технический словарь > конструктивная логика
-
2 конструктивная логика
Русско-английский словарь по вычислительной технике и программированию > конструктивная логика
-
3 конструктивная логика
Русско-английский математический словарь > конструктивная логика
-
4 конструктивная логика
Русско-английский большой базовый словарь > конструктивная логика
-
5 конструктивная логика
-
6 конструктивная логика
Русско-английский словарь по информационным технологиям > конструктивная логика
-
7 логика
ло́гика ж.
logicадапти́вная ло́гика — adaptive logicбина́рная ло́гика — binary logicло́гика «большинства́» — majority logicвероя́тностная ло́гика — probabilistic logicло́гика выска́зываний — propositional logicдиалекти́ческая ло́гика — dialectical logicN-зна́чная ло́гика — N-valued logicинтенсиона́льная ло́гика — intensional logicинтуициони́стская ло́гика — intuitiotistic logicкомбинато́рная ло́гика — combinatorial [combinatory] logicконструкти́вная ло́гика — constructive logicмажорита́рная ло́гика — majority logicматемати́ческая ло́гика — mathematical logicмногозна́чная ло́гика — many-valued logicмода́льная ло́гика — modal logicнерегуля́рная ло́гика — irregular logicотрица́тельная ло́гика — negative logicположи́тельная ло́гика — positive logicпоро́говая ло́гика — threshold logicло́гика предика́тов — predicate logicло́гика прерыва́ния — interrupt logicпрограмми́руемая ло́гика — programmable logicсимволи́ческая ло́гика — symbolic logicстати́ческая ло́гика — static logicтеорети́ческая ло́гика — mathematical logicтрои́чная ло́гика — ternary logicформа́льная ло́гика — formal logic -
8 логика
ж. logicлогика «большинства» — majority logic
-
9 конструктивная логика
Mathematics: constructive logicУниверсальный русско-английский словарь > конструктивная логика
См. также в других словарях:
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… … Wikipedia
Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… … Wikipedia
Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
Constructive non-standard analysis — In mathematics, constructive nonstandard analysis is a version of Abraham Robinson s non standard analysis, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote: The possibility of constructivization of nonstandard … Wikipedia
Constructive dilemma — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
Démonstration constructive — Une première vision d une démonstration constructive est celle d une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c est à dire qui ne fait pas appel à l infini, ni au principe du tiers exclu. Ainsi… … Wikipédia en Français
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
History of logic — Philosophy ( … Wikipedia